Real-time Programming with Time-stamped Event Histories *
نویسندگان
چکیده
Assertions on time-stamped event histories (TEHs) have been used in real-time theory for specifying, analyzing, and verifying requirements and designs, and also have been proposed for monitoring implementations. This paper investigates the direct use of TEHs for programming. We define some language and system support mechanisms, show by example the potential benefits of programming with TEHs, and describe an implementation that is an extension of a state-based system. Benefits include cleaner and more readable code, and programs that more closely resemble specifications.
منابع مشابه
1 Real - Time Programming With Time - Stamped Event
Assertions on time-stamped event histories (TEHs) have been used in real-time theory for specifying, analyzing, and verifying requirements and designs, and also have been proposed for monitoring implementations. This paper investigates the direct use of TEHs for programming. We define some language and system support mechanisms, show by example the potential benefits of programming with TEHs, a...
متن کاملA toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines
This paper proposes an approach to the development of real-time systems which depends on Communicating Real-Time State Machines (CRSM’s) as the specification language, and on a customisable actor kernel for prototyping, analysis and implementation of a modelled system. CRSM’s offer an intuitive and distributed specification of a system in terms of a collection of co-operating state machines int...
متن کاملA Multi-district Asset Protection Problem with Time Windows for Disaster Management
One of the most important goals of disaster management teams is to protect the assets and infrastructures of the community in the event of accidents such as wildfires and floods. This issue requires appropriate operations of all disaster management teams and analysis of available information for suitable decision making and consequently timely response. A mixed integer mathematical model is pre...
متن کاملIBSM: Interval-Based Sequence Matching
Sequences of event intervals appear in several application domains including sign language, sensor networks, medicine, human motion databases, and linguistics. Such sequences comprise events that occur at time intervals and are time stamped at their start and end time. In this paper, we propose a new method, called IBSM, for comparing such sequences. IBSM performs full sequence matching using a...
متن کاملEvent-based Multitrack Alignment using a Probabilistic Framework
This paper presents a Bayesian probabilistic framework for real-time alignment of a recording or score with a live performance using an event-based approach. Multitrack audio files are processed using existing onset detection and harmonic analysis algorithms to create a representation of a musical performance as a sequence of time-stamped events. We propose the use of distributions for the posi...
متن کامل